minios: Fix 18874 memory clipping
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 9 Mar 2009 08:43:11 +0000 (08:43 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 9 Mar 2009 08:43:11 +0000 (08:43 +0000)
commit6db42837ce7ac8c7028dc8416a11442775af3c45
tree86e049bea3608c82898e11c82097ff6da0ee19a4
parente4865c23155b05278f31be537764e760cd2d9b7e
minios: Fix 18874 memory clipping

Fix 18874's memory clipping: there are three page-sized holes between
direct mapping, demand mapping, heap pages and the end of memory.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/arch/x86/mm.c